The Diagonal Lemma Fails in Aristotelian Logic
نویسنده
چکیده
Gödel's theorem does not need an introduction. But it is generally not acknowledged that all instances of Gödel's sentence are vacuous (see below). On the contrary Aristotelian logic permits only sentences that are not vacuous. The consequences of these observations are surprising. What does the article title mean? First of all by " Aristotelian logic " we will understand the logic of the traditional syllogism. By " classical logic " we will mean modern symbolic logic. It is well known that the laws of Aristotelian logic are valid only if all the terms refer to non-empty sets.
منابع مشابه
A Critical Examination of Ibn-Sina’s Theory of the Conditional Syllogism
This paper will examine Ibn Sina’s theory of the Conditional Syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later Islamic tradition. As a preliminary discussion, this paper briefly examines I...
متن کاملAristotelian Syntax from a Computational-Combinatorial Point of View
This paper translates Aristotle’s syllogistic logic of the Analytica priora into the sphere of computational-combinatorical research methods. The task is accomplished by formalising Aristotle’s logical system in terms of rule-based reduction relations on a suitable basic set, which allow us to apply standard concepts of the theory of such structures (Newman lemma) to the ancient logical system....
متن کاملTheoretical principles of ethical architecture in the holy Quran: On the basis of Aristotelian logic in Islamic school of thought
This research is a Qur'anic review that examines the effects of ethics on architecture from the Holy Qur'an’s point of view with the goal of introducing logical theoretical principals of ethical architecture. In order to reach the research goal, this research conducts the Induction, deduction and reverse extraction of research’s resulted theoretical concepts based on Aristotle's formal logic. T...
متن کاملAnalysis of the Reliability of a Three-Component System with Two Repairmen
In this paper authors have considered a system having three units A, B1 and B2. A is controlled by a controller and B1 and B2 are independent. Two repairmen are involved in repair of the system. One of the repairmen (the first) is the foreman (boss) and the other an assistant (apprentice). Whenever any unit fails, repair is undertaken by boss. If the boss is busy in repairing and at the same ti...
متن کاملDiagonal arguments and fixed points
A universal schema for diagonalization was popularized by N.S. Yanofsky (2003), based on a pioneering work of F.W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1510.04393 شماره
صفحات -
تاریخ انتشار 2015